"""Discord bot types."""
